An analysis tool for collision avoidance manoeuvres using aerodynamic drag

Using Heterogeneous Networks for Intersection Collision Avoidance

Smart morphable surfaces for aerodynamic drag control.

Smart Morphable Surfaces enable switchable and tunable aerodynamic drag reduction of bluff bodies. Their topography, resembling the morphology of golf balls, can be custom-generated through a wrinkling instability on a curved surface. Pneumatic actuation of these patterns results in the control of the drag coefficient of spherical samples by up to a factor of two, over a range of flow conditions.

analysis of ruin probability for insurance companies using markov chain

در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...

The Aerodynamic Drag of Parafoils

The parafoil is an aerodynamic decelerator that uses the concept of parachute and airfoil aerodynamics. The device has been used as a parachute for high-precision delivering of payload (military and civilian), to recover sounding rockets, for various tethered applications (to carry instrumentation for weather survey, air pollution measurements, radar tracking systems), and as recreational parac...

Verification of Collision Avoidance Systems Using Reachability Analysis

This paper presents a method for formal verification of automotive collision avoidance systems. Using viability theory and reachability analysis, we define when the system should intervene, i.e. the unsafe set, and when the system should not intervene, i.e. the safe set. Given these sets, we formulate the problem of verifying that a given system does not make incorrect decisions as an optimizat...